منابع مشابه
Temperature Effect on THz Quantum Cascade Lasers
A simple semi-phenomenological model, which accurately predicts the dependence of thresholdcurrent for temperature of Resonant-phonon three well quantum cascade laser based on verticaltransitions is offered. We found that, the longitude optical phonon scattering of thermally excitedelectrons is the most important limiting factor for thermal performance of high frequency THz QCLs.In low frequenc...
متن کاملEstimation of cascade failure probability in electrical transmission networks by Subset Simulation
In this work, standard Monte Carlo Simulation (MCS) and Subset Simulation (SS) are applied for assessing the probability of cascading failures in network systems. The latter method has been originally developed to solve structural reliability problems [Au and Beck, 2001], based on the idea that a small failure probability can be expressed as a product of larger conditional probabilities of some...
متن کاملLimited depth of reasoning and failure of cascade formation in the laboratory
We examine the robustness of information cascades in laboratory experiments. Apart from the situation in which each player can obtain a signal for free (as in the experiment by Anderson and Holt, 1997, American Economic Review), the case of costly signals is studied where players decide whether to obtain private information or not, at a small but positive cost. In the equilibrium of this game, ...
متن کاملActivation of apoptotic caspase cascade during the transition to pressure overload-induced heart failure.
OBJECTIVES A pressure overload model was developed to simulate aortic stenosis and assess caspase activity during the transition to heart failure. BACKGROUND Cardiomyocyte apoptosis is implicated in the pathogenesis of heart failure, and caspase activation is central to this pathophysiological process. METHODS A total of 10 sheep were banded with variable aortic constriction devices, progre...
متن کاملCascade 2.0
Cascade is a program static analysis tool developed at New York University. Cascade takes as input a program and a control file. The control file specifies one or more assertions to be checked together with restrictions on program behaviors. The tool generates verification conditions for the specified assertions and checks them using an SMT solver which either produces a proof or gives a concre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 2015
ISSN: 0001-0782,1557-7317
DOI: 10.1145/2749417